Category theory: its mathematical achievements, its epistemological implications.
A historical and philosophical tribute.
Identifieur interne : 000270 ( France/Analysis ); précédent : 000269; suivant : 000271
Category theory: its mathematical achievements, its epistemological implications.
A historical and philosophical tribute.
Auteurs : Ralf Krömer [France]Source :
Descripteurs français
- mix :
Abstract
Category theory (CT) is important in virtue of its mathematical applications and its power to generate philosophical debate. It is a language for algebraic topology, a deductive system in homological algebra, and, as an alternative to set theory, a means of object construction (in Grothendieck's conception of algebraic geometry). Unpublished sources show that Grothendieck quit the Bourbaki group because of a debate on CT, which was partly epistemological in nature, especially as far as set-theoretical realisation of categorical constructions was concerned. We claim that CT is fundamental because it is a theory of some typical operations of structural mathematics: in our pragmatic perspective, justification of mathematical knowledge is not provided for by the reduction to basic objects but rather by a technical common sense intervening on each level (the theories on the higher level having as their objects the theories of the original objects).
Url:
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Hal, to step Corpus: 000010
- to stream Hal, to step Curation: 000010
- to stream Hal, to step Checkpoint: 000052
- to stream Main, to step Merge: 000D46
- to stream Main, to step Curation: 000D34
- to stream Main, to step Exploration: 000D34
- to stream France, to step Extraction: 000270
Links to Exploration step
Hal:tel-00151000Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">Category theory: its mathematical achievements, its epistemological implications.
A historical and philosophical tribute.</title>
<title xml:lang="fr">La théorie des catégories: ses apports mathématiques et ses implications épistémologiques.
Un hommage historio-philosophique</title>
<author><name sortKey="Kromer, Ralf" sort="Kromer, Ralf" uniqKey="Kromer R" first="Ralf" last="Krömer">Ralf Krömer</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-1060" status="OLD"> <idno type="IdUnivLorraine">[UL]ROI--</idno>
<idno type="RNSR">200112504S</idno>
<idno type="IdRef">035115734</idno>
<orgName>Laboratoire d'Histoire des Sciences et de Philosophie - Archives Henri Poincaré</orgName>
<orgName type="acronym">LHSP</orgName>
<date type="start">2012-01-01</date>
<date type="end">2017-12-31</date>
<desc> <address> <addrLine>Université de Lorraine, 91, avenue de la Libération BP 454, 54001 Nancy Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://poincare.univ-lorraine.fr/fr</ref>
</desc>
<listRelation> <relation active="#struct-413289" type="direct"></relation>
<relation name="UMR7117" active="#struct-441569" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-413289" type="direct"><org type="institution" xml:id="struct-413289" status="VALID"> <idno type="IdRef">157040569</idno>
<idno type="IdUnivLorraine">[UL]100--</idno>
<orgName>Université de Lorraine</orgName>
<orgName type="acronym">UL</orgName>
<date type="start">2012-01-01</date>
<desc> <address> <addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-lorraine.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle name="UMR7117" active="#struct-441569" type="direct"><org type="institution" xml:id="struct-441569" status="VALID"> <idno type="IdRef">02636817X</idno>
<idno type="ISNI">0000000122597504</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc> <address> <country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Nancy</settlement>
<settlement type="city">Metz</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Université de Lorraine</orgName>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">HAL</idno>
<idno type="RBID">Hal:tel-00151000</idno>
<idno type="halId">tel-00151000</idno>
<idno type="halUri">https://tel.archives-ouvertes.fr/tel-00151000</idno>
<idno type="url">https://tel.archives-ouvertes.fr/tel-00151000</idno>
<date when="2004-05-06">2004-05-06</date>
<idno type="wicri:Area/Hal/Corpus">000010</idno>
<idno type="wicri:Area/Hal/Curation">000010</idno>
<idno type="wicri:Area/Hal/Checkpoint">000052</idno>
<idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">000052</idno>
<idno type="wicri:Area/Main/Merge">000D46</idno>
<idno type="wicri:Area/Main/Curation">000D34</idno>
<idno type="wicri:Area/Main/Exploration">000D34</idno>
<idno type="wicri:Area/France/Extraction">000270</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Category theory: its mathematical achievements, its epistemological implications.
A historical and philosophical tribute.</title>
<title xml:lang="fr">La théorie des catégories: ses apports mathématiques et ses implications épistémologiques.
Un hommage historio-philosophique</title>
<author><name sortKey="Kromer, Ralf" sort="Kromer, Ralf" uniqKey="Kromer R" first="Ralf" last="Krömer">Ralf Krömer</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-1060" status="OLD"> <idno type="IdUnivLorraine">[UL]ROI--</idno>
<idno type="RNSR">200112504S</idno>
<idno type="IdRef">035115734</idno>
<orgName>Laboratoire d'Histoire des Sciences et de Philosophie - Archives Henri Poincaré</orgName>
<orgName type="acronym">LHSP</orgName>
<date type="start">2012-01-01</date>
<date type="end">2017-12-31</date>
<desc> <address> <addrLine>Université de Lorraine, 91, avenue de la Libération BP 454, 54001 Nancy Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://poincare.univ-lorraine.fr/fr</ref>
</desc>
<listRelation> <relation active="#struct-413289" type="direct"></relation>
<relation name="UMR7117" active="#struct-441569" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-413289" type="direct"><org type="institution" xml:id="struct-413289" status="VALID"> <idno type="IdRef">157040569</idno>
<idno type="IdUnivLorraine">[UL]100--</idno>
<orgName>Université de Lorraine</orgName>
<orgName type="acronym">UL</orgName>
<date type="start">2012-01-01</date>
<desc> <address> <addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-lorraine.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle name="UMR7117" active="#struct-441569" type="direct"><org type="institution" xml:id="struct-441569" status="VALID"> <idno type="IdRef">02636817X</idno>
<idno type="ISNI">0000000122597504</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc> <address> <country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Nancy</settlement>
<settlement type="city">Metz</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Université de Lorraine</orgName>
</affiliation>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="mix" xml:lang="fr"><term>Eilenberg</term>
<term>Grothendieck</term>
<term>Mac Lane</term>
<term>Peirce</term>
<term>Poincaré</term>
<term>Wittgenstein</term>
<term>algèbre homologique</term>
<term>fondements des mathématiques</term>
<term>géométrie algébrique</term>
<term>objet</term>
<term>outil</term>
<term>pragmatisme</term>
<term>théorie des catégories</term>
<term>théorie des ensembles</term>
<term>topologie algébrique</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Category theory (CT) is important in virtue of its mathematical applications and its power to generate philosophical debate. It is a language for algebraic topology, a deductive system in homological algebra, and, as an alternative to set theory, a means of object construction (in Grothendieck's conception of algebraic geometry). Unpublished sources show that Grothendieck quit the Bourbaki group because of a debate on CT, which was partly epistemological in nature, especially as far as set-theoretical realisation of categorical constructions was concerned. We claim that CT is fundamental because it is a theory of some typical operations of structural mathematics: in our pragmatic perspective, justification of mathematical knowledge is not provided for by the reduction to basic objects but rather by a technical common sense intervening on each level (the theories on the higher level having as their objects the theories of the original objects).</div>
</front>
</TEI>
<affiliations><list><country><li>France</li>
</country>
<region><li>Grand Est</li>
<li>Lorraine (région)</li>
</region>
<settlement><li>Metz</li>
<li>Nancy</li>
</settlement>
<orgName><li>Université de Lorraine</li>
</orgName>
</list>
<tree><country name="France"><region name="Grand Est"><name sortKey="Kromer, Ralf" sort="Kromer, Ralf" uniqKey="Kromer R" first="Ralf" last="Krömer">Ralf Krömer</name>
</region>
</country>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Mathematiques/explor/BourbakiV1/Data/France/Analysis
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000270 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/France/Analysis/biblio.hfd -nk 000270 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Mathematiques |area= BourbakiV1 |flux= France |étape= Analysis |type= RBID |clé= Hal:tel-00151000 |texte= Category theory: its mathematical achievements, its epistemological implications.
A historical and philosophical tribute. }}
This area was generated with Dilib version V0.6.33. |